Tzevelekos, Nikos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Full abstraction for Reduced ML

Murawski, Andrzej S., Tzevelekos, Nikos

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 504 KB

english, 2013

2

Investigations on the Dual Calculus

Nikos Tzevelekos

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 502 KB

english, 2006

3

Program equivalence in a simple language with state

Nikos Tzevelekos

Journal:

Computer Languages, Systems & Structures

Year:

2012

Language:

english

File:

PDF, 794 KB

english, 2012

4

Left atrium in cor triatriatum: Arrhythmogenesis and thrombogenesis leading to stroke

Siniorakis, Eftychios, Arvanitakis, Spyridon, Pantelis, Nikos, Tzevelekos, Panayotis, Bokos, Georgios, Giannakopoulos, Nikodimos, Limberi, Sotiria

Journal:

International Journal of Cardiology

Year:

2013

Language:

english

File:

PDF, 298 KB

english, 2013

5

A System-Level Game Semantics

Ghica, Dan R., Tzevelekos, Nikos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 320 KB

english, 2012

6

[IEEE 2009 24th Annual IEEE Symposium on Logic In Computer Science (LICS) - Los Angeles, California, USA (2009.08.11-2009.08.14)] 2009 24th Annual IEEE Symposium on Logic In Computer Science - Functional Reachability

Ong, C.-H. Luke, Tzevelekos, Nikos

Year:

2009

Language:

english

File:

PDF, 281 KB

english, 2009

7

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Full abstraction for nominal general references

Tzevelekos, Nikos

Year:

2007

Language:

english

File:

PDF, 262 KB

english, 2007

8

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Game Semantics for Good General References

Murawski, Andrzej S., Tzevelekos, Nikos

Year:

2011

Language:

english

File:

PDF, 345 KB

english, 2011

9

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Fresh-register automata

Tzevelekos, Nikos

Year:

2011

Language:

english

File:

PDF, 518 KB

english, 2011

10

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Bisimilarity in Fresh-Register Automata

Murawski, Andrzej S., Ramsay, Steven J., Tzevelekos, Nikos

Year:

2015

Language:

english

File:

PDF, 336 KB

english, 2015

11

Nominal Game Semantics

Murawski, Andrzej S., Tzevelekos, Nikos

Journal:

Foundations and Trends® in Programming Languages

Year:

2016

Language:

english

File:

PDF, 596 KB

english, 2016

12

Foreword for special issue of APAL for GaLoP 2013

Hyland, Martin, McCusker, Guy, Tzevelekos, Nikos

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 119 KB

english, 2017

13

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Trace semantics for polymorphic references

Jaber, Guilhem, Tzevelekos, Nikos

Year:

2016

Language:

english

File:

PDF, 395 KB

english, 2016

14

Algorithmic games for full ground references

Murawski, Andrzej S., Tzevelekos, Nikos

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 985 KB

english, 2017

15

Towards the modernisation of the supervisory control and data acquisition systems of the Hellenic electricity distribution network operator: considerations and steps forward

Hatziargyriou, Nikos, Kleftakis, Vasilis, Palaiogiannis, Foivos, Dimeas, Aris, Vlachos, Ioannis, Katsanos, Christos, Zafeirakis, Asterios, Tzevelekos, Andreas

Journal:

CIRED - Open Access Proceedings Journal

Year:

2017

Language:

english

File:

PDF, 398 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски